def main: Unit => IO[Unit]